МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІВСЬКА ПОЛІТЕХНІКА» ІКТА Кафедра «Захист інформації» З В І Т про виконання лабораторної роботи №4 з курсу «Компонентна база засобів ТЗІ» на тему: «ВИВЧЕННЯ МЕТОДІВ АНАЛІЗУ ТА СИНТЕЗУ СКІНЧЕННИХ АВТОМАТІВ»  Мета роботи – вивчення методів аналізу та синтезу скінченних автоматів. РЕЗУЛЬТАТИ ВИКОНАННЯ РОБОТИ Номер варіанту: 2210 = 0101102. Варіанти таблиць: Таблиця 1 Таблиця переходів Z0 Z1 Z2 Z3  X1 Z1 Z2 Z0 Z2  X2 Z3 Z1 Z1 Z1  X3 Z2 Z3 Z3 Z2   Таблиця 2 Таблиця виходів Z0 Z1 Z2 Z3  X1 Y3 Y1 Y1 Y1  X2 Y2 Y2 Y1 Y3  X3 Y1 Y2 Y2 Y3   Типи тригерів:
JK – тригер. Обчислюємо мінімальну кількість структурних двійкових змінних для кодування вхідних сигналів, станів і вихідних сигналів:
Складаємо таблиці кодування: Таблиця 3 Вхідні сигнали Код вхідних сигналів   А1 А2  X1 0 0  X2 0 1  X3 1 0   Таблиця 4 Вихідні сигнали Код вихідних сигналів   B1 B2  Y1 0 0  Y2 0 1  Y3 1 0   Таблиця 5 Стани автомата Код станів   Q1 Q2  Z0 0 0  Z1 0 1  Z2 1 0  Z3 1 1  Таблиця переходів тригера: Таблиця 6
J K  00 0 *  01 1 *  10 * 1  11 * 0   Таблиця 7 Таблиця істинності












 
0 0 0 0 0 1 0 * 1 * 1 0  
0 0 0 1 1 0 1 * * 1 0 0  
0 0 1 0 0 0 * 1 0 * 0 0  
0 0 1 1 1 0 * 0 * 1 0 0  
0 1 0 0 1 1 1 * 1 * 0 1  
0 1 0 1 0 1 0 * * 0 0 1  
0 1 1 0 0 1 * 1 1 * 0 0  
0 1 1 1 0 1 * 1 * 0 1 0  
1 0 0 0 1 0 1 * 0 * 0 0  
1 0 0 1 1 1 1 * * 0 0 1  
1 0 1 0 1 1 * 0 1 * 0 1  
1 0 1 1 1 0 * 0 * 1 1 0  - 1 1 0 0 * * * * * * * *  - 1 1 0 1 * * * * * * * *  - 1 1 1 0 * * * * * * * *  - 1 1 1 1 * * * * * * * *   Мінімізуємо логічні функції за допомогою карт Карно: / / / / / / Рис. 1. Карти Карно для мінімізації логічних функцій Результат мінімізації:
Будуємо схему: / Рис. 2. Функціональна схема автомата / Рис. 3. Часова діаграма роботи схеми ВИСНОВОК При виконанні даної лабораторної роботи я вивчив методи аналізу і синтезу скінченних автоматів. Для свого варіанту побудував таблицю переходів і таблицю виходів, вибрав тип тригера відповідно до варіанту, склав таблиці кодування, таблицю переходів тригера. Далі побудував таблицю істинності. З даних таблиці 7 мінімізував 6 логічних функцій, побудував функціональну схему. Проконтролював правильність функціонування схеми за допомогою моделювальника САПР, визначивши значення вихідних сигналів для всіх наборів значень вхідних змінних. Отримані часові діаграми роботи схеми.